float64 empty_float64
